Next: , Previous: Types Answer 8, Up: Answers to Exercises


3.7.41 Types Tutorial Exercise 9

     1:  [-3 .. 3]       2:  [-3 .. 3]     2:  [0 .. 9]
         .               1:  [0 .. 9]      1:  [-9 .. 9]
                             .                 .

         [ 3 n .. 3 ]        <RET> 2 ^           <TAB> <RET> *

In the first case the result says, “if a number is between -3 and 3, its square is between 0 and 9.” The second case says, “the product of two numbers each between -3 and 3 is between -9 and 9.”

An interval form is not a number; it is a symbol that can stand for many different numbers. Two identical-looking interval forms can stand for different numbers.

The same issue arises when you try to square an error form.